Delayed choice for process algebra with abstraction
نویسندگان
چکیده
The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specii-cations and in veriication to reduce irrelevant branching structure of a process.
منابع مشابه
Delayed choice for process
The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specii-cations and in veriication to reduce irrelevant branching structure of a process.
متن کاملDelayed choice: an operator for joining Message Sequence Charts
We study the extension of a simple process algebra with the delayed choice operator. It diiers from the normal non-deterministic choice in that the moment of choice is delayed until all alternatives can be distinguished by their rst action. An application is in joining Message Sequence Charts.
متن کامل-angelic Choice for Process Algebra
The-angelic choice is an operator that captures the behaviour of the external choice of CSP in a branching time setting. The idea of the-angelic choice is to delay any choice until an observable action happens. In this way, this new operator avoids preemption introduced by internal actions (actions). It is studied in theories with abstraction, more precisely, branching bisimulation and-bisimula...
متن کامل-angelic choice: An operator to reduce irrelevant internal activity in process algebra
The-angelic choice is an operator that captures the behaviour of the external choice of CSP in a branching time setting. The idea of the-angelic choice is to delay any choice until an observable action happens. In this way, this new operator avoids preemption introduced by internal actions (actions). It is studied in theories with abstraction, more precisely, branching bisimulation and-bisimula...
متن کاملDifferent Learning Levels in Multiple-choice and Essay Tests: Immediate and Delayed Retention
This study investigated the effects of different learning levels, including Remember an Instance (RI), Remember a Generality (RG), and Use a Generality (UG) in multiple-choice and essay tests on immediate and delayed retention. Three-hundred pre-intermediate students participated in the study. Reading passages with multiple-choice and essay questions in different levels of learning were giv...
متن کامل